/* PR middle-end/117571 */
/* { dg-do compile { target bitint } } */
/* { dg-options "-O2" } */

#if __BITINT_MAXWIDTH__ >= 255
_BitInt(255) b;

_BitInt(255)
foo ()
{
  return (b << 10) / 2;
}
#endif

#if __BITINT_MAXWIDTH__ >= 8192
_BitInt(8192) c;

_BitInt(8192)
bar ()
{
  return (c << 1039) / 0x20000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000wb;
}
#endif
